power series in real analysis